auto merge of #703 : alexcrichton/cargo/doc.crates.io, r=alexcrichton
authorbors <bors@rust-lang.org>
Mon, 13 Oct 2014 23:45:00 +0000 (23:45 +0000)
committerbors <bors@rust-lang.org>
Mon, 13 Oct 2014 23:45:00 +0000 (23:45 +0000)
The actual crates.io domain will become the registry itself, but the
auto-generated documentation from this repository will continue to be available
at the doc.crates.io domain.

In the meantime, we've set up redirects from crates.io and www.crates.io to
doc.crates.io and the github-pages site will now be doc.crates.io


Trivial merge